| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Algorithmic Differentiation | Fach-/Modulprüfung | 6 | 424053 | ||
| Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 422515 | ||
| Communication Systems Engineering | Fach-/Modulprüfung | 6 | 429111 | ||
| Concepts and Models for Parallel and Data-centric Programming | Fach-/Modulprüfung | 6 | 422105 | ||
| Vorlesung/Übung | 416823 | Mo 10:30-12:00 Online-Veranstaltung (×10) Do 10:30-12:00 Online-Veranstaltung (×5) | |||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 428629 | ||
| Übung | 415005 | Mo 16:30-18:00 Online-Veranstaltung (×13) | |||
| Vorlesung | 415004 | Di 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×12) | |||
| Embedded Systems | Fach-/Modulprüfung | 6 | 421982 | ||
| Vorlesung/Übung | 417511 | Mo 14:30-16:00 Online-Veranstaltung (×13) Do 16:30-18:00 Online-Veranstaltung (×8) | |||
| Vorlesung/Übung | 432158 | Do 10:30-12:00 Online-Veranstaltung (×1) Do 18:30-20:00 Online-Veranstaltung (×11) Fr 14:30-16:00 Online-Veranstaltung (×13) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 433043 | ||
| Mobile Internet Technology | Fach-/Modulprüfung | 6 | 423297 | ||
| Vorlesung/Übung | 417492 | Mo 14:30-16:00 Online-Veranstaltung (×10) Do 10:30-12:00 Online-Veranstaltung (×9) Fr 14:30-16:00 Online-Veranstaltung (×8) | |||
| Modeling and analysis of hybrid systems | Fach-/Modulprüfung | 6 | 422632 | ||
| Vorlesung/Übung | 418239 | Mo 12:30-14:00 Online-Veranstaltung (×13) Fr 10:30-12:00 Online-Veranstaltung (×13) | |||
| Performance Analysis and Correctness Checking of Parallel Applications | Fach-/Modulprüfung | 6 | 422499 | ||
| Vorlesung/Übung | 419346 | Di 12:30-14:00 Online-Veranstaltung (×11) Di 14:30-16:00 Online-Veranstaltung (×1) Fr 10:30-12:00 Online-Veranstaltung (×8) | |||
| Probabilistic Programming | Fach-/Modulprüfung | 4 | 429307 | ||
| Research Focus Class on Communication Systems | Fach-/Modulprüfung | 6 | 444058 | ||
| Semantics and Verification of Software | Fach-/Modulprüfung | 6 | 422954 | ||
| Übung | 425178 | Mo 14:30-16:00 Online-Veranstaltung (×11) | |||
| Vorlesung | 425179 | Mi 10:30-12:00 Online-Veranstaltung (×14) Do 14:30-16:00 Online-Veranstaltung (×12) | |||
| Software Language Engineering | Projekt | 6 | 419019 | ||
| Vorlesung/Übung | 417904 | Di 14:30-16:00 Online-Veranstaltung (×14) Mi 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×12) | |||
| Software Project Management | Fach-/Modulprüfung | 4 | 420831 | ||
| Übung | 418936 | Fr 10:30-12:00 Online-Veranstaltung (×14) | |||
| Vorlesung | 418419 | Di 16:30-18:00 Online-Veranstaltung (×14) | |||
| Static Program Analysis | Fach-/Modulprüfung | 6 | 420846 |